#Innolight #Lisp #Racket

DrRacket 不仅是一个初学者友好的 Racket 开发环境，还内置了一套强大而灵活的快捷键系统。无论你是刚接触函数式编程的新手，还是希望提升编辑效率的老手，掌握 DrRacket 的快捷键都能让你事半功倍。

本文将带你深入理解 DrRacket 中的修饰键符号表示法、常用快捷键以及如何自定义自己的键绑定。

一、修饰键符号说明：读懂快捷键的“语言”

在 DrRacket 中，大多数按键会直接插入字符（如字母、数字、括号等），但某些组合键可以触发移动光标、删除行、复制选择等操作。这些快捷键依赖于“修饰键”（Modifier Keys）。

DrRacket 使用以下符号表示不同平台上的修饰键：

重要规则

1. 默认匹配：如果没有指定某个修饰键，该键绑定在该修饰键按下或未按下时都会匹配。
2. 否定修饰：修饰键前加 ~ 表示该快捷键仅在该修饰键未按下时激活。例如 ~c:m:e 表示“按 e，且此时没有同时按 Control 和 Meta”。
3. 纯按键模式：以 : 开头的快捷键（如 :e）仅在 Shift、Control、Option、Alt、Meta 或 Command 都未按下 时激活。

二、按键表示方法：如何正确书写快捷键

DrRacket 的快捷键语法简洁直观：

• c:e：按住 Control 键，再按 e（即 Ctrl+E），通常用于将光标移动到行尾。
• m:x：按住 Meta 键（或先按 Escape 再按 x），执行 Meta-x 命令。
• delete：Delete 键。
• space：空格键。

三、常用快捷键速览

窗口切换

• c:F6：在定义窗口、交互窗口、搜索窗口等可编辑区域之间切换焦点。

提示：在“显示活动键绑定”窗口中搜索 shift-focus 可查看平台特定的绑定。

编辑与重构

• m:s:l：用 (lambda () ...) 包装选中内容，并将光标置于参数列表中。
• c:c;c:o：将光标后的 S 表达式替换为其内部内容。
• c:c;c:e：移除包围当前表达式的括号。
• c:c;c:l：在表达式外包裹一个 let，并插入 printf 用于调试。

ASCII 艺术矩形操作

DrRacket 支持对 ASCII 表格进行智能编辑：

• c:x;r;a：将 +-+ 风格的 ASCII 矩形转换为 Unicode 框线（如 ╔═╗）。
• c:x;r;w：加宽矩形（在竖线左侧使用）。
• c:x;r;v：增加矩形高度（在横线上方使用）。
• c:x;r;c：将当前行内容在单元格内居中。
• c:x;r;o：切换“ASCII 艺术编辑模式”，启用后：
  • 回车会在矩形内新增行；
  • 覆盖模式下，墙壁会自动移动以容纳新字符；
  • 非覆盖模式下，插入字符会自动扩展单元格宽度。

交互窗口特殊操作

• m:p / m:n：调出上一条 / 下一条历史表达式。
• m:h：在独立窗口中查看完整历史。
• 回车行为：
  • Return（无修饰）：智能判断——表达式完整则提交，否则换行。
  • Shift+Return：强制换行，不提交。
  • Alt+Return 或 Control+Return：强制提交求值。

四、自定义快捷键：用代码掌控一切

DrRacket 允许你通过编写 Racket 代码来自定义快捷键，这是其强大可扩展性的体现。

步骤 1：创建键绑定文件

1. 菜单栏选择：编辑 → 键绑定 → 添加用户定义的键绑定
2. 创建一个新文件，开头必须包含：

#lang s-exp framework/keybinding-lang

步骤 2：基本语法

每个快捷键定义格式如下：

(keybinding "键组合" 处理函数)

示例 1：插入固定文本

(keybinding "c:a"
  (λ (editor evt)
    (send editor insert "!")))

按下 Ctrl+A 时，在当前位置插入 !。

示例 2：绑定到菜单命令

(define modifiers
  (apply string-append
    (map (λ (p)
           (case p
             [(ctl) "c:"]
             [(cmd) "d:"]
             [(alt meta) "~c:m:"]
             [(shift) "s:"]
             [(option) "a:"]))
         (get-default-shortcut-prefix))))

(define-syntax-rule (frame-key key command)
  (keybinding (string-append modifiers key)
    (λ (ed evt)
      (when (is-a? ed text:basic<%>)
        (define fr (send ed get-top-level-window))
        (when fr (send fr command))))))

(frame-key "t" execute-callback)     ; 运行程序
(frame-key "=" create-new-tab)       ; 新建标签页

示例 3：重新绑定已有功能

(define (rebind key command)
  (keybinding key
    (λ (ed evt)
      (send (send ed get-keymap) 
            call-function
            command ed evt #t))))

(rebind "c:w" "backward-kill-word")  ; 将 Ctrl+W 绑定为“向后删除单词”

五、增量发送代码到 REPL（高级用法）

默认情况下，DrRacket 不支持像 Emacs 那样将代码片段增量发送到交互窗口（REPL），这是为了保证程序状态的一致性和初学者的安全性。

但如果你确实需要此功能，可以使用以下自定义键绑定：

#lang s-exp framework/keybinding-lang
 
(require drracket/tool-lib)
 
(module test racket/base)
 
(keybinding "c:c;c:e" (lambda (ed evt) (send-toplevel-form ed #f)))
(keybinding "c:c;c:r" (lambda (ed evt) (send-selection ed #f)))
(keybinding "c:c;~c:m:e" (lambda (ed evt) (send-toplevel-form ed #t)))
(keybinding "c:c;~c:m:r" (lambda (ed evt) (send-selection ed #t)))
 
(define/contract (send-toplevel-form defs shift-focus?)
  (-> any/c boolean? any)
  (when (is-a? defs drracket:unit:definitions-text<%>)
    (define sp (send defs get-start-position))
    (when (= sp (send defs get-end-position))
      (cond
        [(send defs find-up-sexp sp)
         ;; we are inside some top-level expression;
         ;; find the enclosing expression
         (let loop ([pos sp])
           (define next-up (send defs find-up-sexp pos)) 
           (cond
             [next-up (loop next-up)]
             [else
              (send-range-to-repl defs 
                                  pos
                                  (send defs get-forward-sexp pos)
                                  shift-focus?)]))]
        [else
         ;; we are at the top-level
         (define fw (send defs get-forward-sexp sp))
         (define bw (send defs get-backward-sexp sp))
         (cond
           [(and (not fw) (not bw)) 
            ;; no expressions in the file, give up
            (void)]
           [(not fw) 
            ;; no expression after the insertion point;
            ;; send the one before it
            (send-range-to-repl defs 
                                bw
                                (send defs get-forward-sexp bw)
                                shift-focus?)]
           [else 
            ;; send the expression after the insertion point
            (send-range-to-repl defs 
                                (send defs get-backward-sexp fw)
                                fw
                                shift-focus?)])]))))
              
(define/contract (send-selection defs shift-focus?)
  (-> any/c boolean? any)
  (when (is-a? defs drracket:unit:definitions-text<%>)
    (send-range-to-repl defs
                        (send defs get-start-position) 
                        (send defs get-end-position) 
                        shift-focus?)))
 
(define/contract (send-range-to-repl defs start end shift-focus?)
  (->i ([defs (is-a?/c drracket:unit:definitions-text<%>)]
        [start exact-positive-integer?]
        [end (start) (and/c exact-positive-integer? (>=/c start))]
        [shift-focus? boolean?])
       any)
  (unless (= start end) ;; don't send empty regions
    (define ints (send (send defs get-tab) get-ints))
    (define frame (send (send defs get-tab) get-frame))
    ;; copy the expression over to the interactions window
    (send defs move/copy-to-edit 
          ints start end
          (send ints last-position)
          #:try-to-move? #f)
    
    ;; erase any trailing whitespace
    (let loop ()
      (define last-pos (- (send ints last-position) 1))
      (when (last-pos . > . 0)
        (define last-char (send ints get-character last-pos))
        (when (char-whitespace? last-char)
          (send ints delete last-pos (+ last-pos 1))
          (loop))))
    
    ;; put back a single newline
    (send ints insert
          "\n"
          (send ints last-position)
          (send ints last-position))
    
    ;; make sure the interactions is visible 
    ;; and run the submitted expression
    (send frame ensure-rep-shown ints)
    (when shift-focus? (send (send ints get-canvas) focus))
    (send ints do-submission)))

这四个快捷键分别实现：

• c:c;c:e：发送光标所在的顶层表达式
• c:c;c:r：发送选中的代码
• c:c;~c:m:e：发送顶层表达式并聚焦到交互窗口
• c:c;~c:m:r：发送选中代码并聚焦到交互窗口

💡 注意：这类操作绕过了 DrRacket 的“干净运行”机制，可能导致 REPL 状态与源码不一致，请谨慎使用。

六、实用技巧与最佳实践

1. 查看当前有效的快捷键

菜单：编辑 → 键绑定 → 显示活动键绑定
这是最权威的快捷键列表，内容会根据当前焦点窗口动态变化。

2. 切换键绑定风格

在 首选项 → 编辑 → 常规编辑 中，找到 “在菜单中启用键绑定” 选项：

• 启用：快捷键行为与标准 GUI 菜单一致。
• 禁用：更接近 Emacs 风格，适合习惯 Emacs 的用户。

建议：如果你熟悉 Emacs，建议取消勾选此项。

3. 注意平台差异

Windows 和部分 Unix 系统上，某些快捷键是操作系统或桌面环境的标准绑定。启用“菜单键绑定”后，它们的行为可能被覆盖。

总结

DrRacket 的快捷键系统兼具易用性与可编程性：

• 基础用户：可通过内置快捷键高效完成编辑、导航、求值等操作。
• 高级用户：能通过 Racket 代码完全定制快捷键行为，甚至实现 REPL 增量求值。
• 特色功能：如 ASCII 艺术矩形编辑，是其他编辑器少有的亮点。

建议学习路径：

1. 先掌握常用移动与编辑快捷键；
2. 尝试使用“显示活动键绑定”探索更多功能；
3. 根据个人习惯，逐步编写自定义键绑定。

掌握这些技巧，你不仅能更快地写 Racket 代码，还能真正体会到 DrRacket 作为“可编程编辑器”的魅力。